#!/bin/sh

. server_config.sh

FILENAME="$1"
TIMELIMIT="$2"

PIDFILE=/tmp/$USER-testclient.pid

if [ -e $PIDFILE ]; then
    echo Killing test client `cat $PIDFILE`
    kill -9 `cat $PIDFILE`
    rm -f $PIDFILE
else
    echo $PIDFILE not found
fi
